Embed Scripting inside SystemC

نویسندگان

  • J. Vennin
  • S. Penain
  • Luc Charest
  • Samy Meftali
  • Jean-Luc Dekeyser
چکیده

Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as SystemC, are more and more used. We present in this paper a new methodology allowing scripting inside SystemC. We integrate both SystemC and Python within a single framework for system designs and simulations called SystemPy. Communication is performed using a Simple Wrapper and an Interface Generator(SWIG). SystemPy allows dynamic IP changes during the simulation. This makes designers able to perform a quick architecture exploration without stopping the simulation process. Steps and performances of our framework are illustrated on mixed SystemC Python system.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Improving System-Level Verification of SystemC Models with SPIN

SystemC is a de-facto industry standard for developing, modelling, and simulating embedded systems. As embedded systems become more and more integrated into many aspects of human lives (e.g., transportation, surveillance systems, . . . ), failures of embedded systems might cause dangerous hazards to individuals or groups. Guaranteeing safety of such systems makes formal verification crucial. In...

متن کامل

Model Checking Memory-Related Properties of Hardware/Software Co-designs

Memory safety plays a crucial role in concurrent hardware/software systems and must be guaranteed under all circumstances. Although there exist some approaches for complete verification that can cope with both hardware and software and their interplay, none of them supports pointers or memory. To overcome this problem, we present a novel approach for model checking memory-related properties of ...

متن کامل

From Model-based Design to Virtual Prototypes for Automotive Applications

In this paper, we present a new design methodology for automotive applications, combining the strength of model-based design using MATLAB/Simulink and virtual prototyping using SystemC. The design flow starts from an automotive application modeled in MATLAB/Simulink. By including a vehicle model, testing and debugging of the desired application is possible. In a first step, the application mode...

متن کامل

Automated Extraction of Multi-Threaded Graph Models for Formal Verification of System Level Models

System level models are abstractions of hardware systems which should make it easier to apply capacity limited formal verification tools to validate them. However, due to the sequential nature of languages such as SystemC [1], extensive use of co-routine style threading for expressing concurrency, and oft-used mixed abstraction styles, make it hard to create abstractions suitable for formal ver...

متن کامل

Scripting For Java

Tcl has been initially developed as an embeddable command language to provide what we now call ”scripting” to complex applications. The ”scripting” or ”high level language” approach to provide control to applications from command lines, configurations files or ”macros” has been very successful and a major winning case for Tcl. In the last six years, Java appeared as a programming language and r...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005